Sheaf Semantics for Physically Motivated Network Description with Applications
نویسنده
چکیده
Aalto University, P.O. Box 11000, FI-00076 Aalto www.aalto.fi Author Author(s): Kari Visala Name of the publication Sheaf Semantics for Physically Motivated Network Description with Applications Publisher School of Science Unit Department of Computer Science and Engineering Series Aalto University publication series SCIENCE + TECHNOLOGY 10/2014 Field of research Network and protocol modeling
منابع مشابه
Reverse Engineering of Network Software Binary Codes for Identification of Syntax and Semantics of Protocol Messages
Reverse engineering of network applications especially from the security point of view is of high importance and interest. Many network applications use proprietary protocols which specifications are not publicly available. Reverse engineering of such applications could provide us with vital information to understand their embedded unknown protocols. This could facilitate many tasks including d...
متن کاملApplications of Sheaf Cohomology and Exact Sequences on Network Codings
Sheaf cohomology is a mathematical tool for collating local algebraic data into global structures. The purpose of this paper is to apply sheaf theory into network coding problems. After the definition of sheaves, we define so called network coding sheaves for a general multi source network coding scenario, and consider various forms of sheaf cohomologies. The main theorem states that 0-th netwo...
متن کاملA Sheaf Semantics for Petri Nets a Sheaf Semantics for Petri Nets
The semantics of Petri Nets are discussed within the "Objects are sheaves" paradigm. Transitions and places are represented as sheaves and nets are represented as diagrams of sheaves. Both an interleaving semantics, and a non-interleaving semantics are shown to arise as the limit of the sheaf diagram representing the net.
متن کاملDeclarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملSheaf-Theoretic Stratification Learning
In this paper, we investigate a sheaf-theoretic interpretation of stratification learning. Motivated by the work of Alexandroff (1937) and McCord (1978), we aim to redirect efforts in the computational topology of triangulated compact polyhedra to the much more computable realm of sheaves on partially ordered sets. Our main result is the construction of stratification learning algorithms framed...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014